Definite description
DENOTING PHRASE IN THE FORM OF "THE X" WHERE X IS A NOUN-PHRASE OR A SINGULAR COMMON NOUN. THE DEFINITE DESCRIPTION IS PROPER IF X APPLIES TO A UNIQUE INDIVIDUAL OR OBJECT
Present King of France; Definite descriptions; Definite descriptor; The present King of France is bald; Iota operator; Definite description theory
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object.